Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Querying cultural heritage knowledge bases in natural language: Discussion paper
2019-01-01 Cuteri, B.; Reale, K.; Ricca, F.
Querying Data Exchange Settings beyond Positive Queries
2022-01-01 Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again
2017-01-01 Amendola, G.; Leone, N.; Manna, M.
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Random models of very hard 2QBF and disjunctive programs: An overview
2018-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study
2018-01-01 Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
A reputation mechanism to support cooperation of IoT devices
2019-01-01 Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.
Scheduling Periodic Treatments via Answer Set Programming
2023-01-01 Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M.
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming
2021-01-01 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation
2018-01-01 Bruno, P.; Zaffino, P.; Scaramuzzino, S.; De Rosa, S.; Indolfi, C.; Calimeri, F.; Spadea, M. F.
A Sequence to Sequence Approach for Knowledge Base Relation Linking
2021-01-01 Barbara, Vito; Manuel, Borroto; Ricca, Francesco
Simple user assistance by data posting
2019-01-01 Masciari, E.; Sacca, D.; Trubitsyna, I.
A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions
2020-01-01 Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D.
Smart applications for smart city: A contribution to innovation
2014-01-01 Citrigno, S.; Graziano, S.; Lupia, F.; Sacca, D.
Smart Data Exchange
2020-01-01 Greco, S.; Ianni, M.; Masciari, E.; Sacca, D.; Trubitsyna, I.
Some experiments on activity outlier detection
2021-01-01 Ianni, M.; Masciari, E.
A speech about generative datalog and non-measurable sets
2021-01-01 Alviano, M.; Zamayla, A.
Stable Semantics for Epistemic Abstract Argumentation Framework
2023-01-01 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
Standard vs. Learning-based Codecs for Real Time Endoscopic Video Transmission
2021-01-01 Marzullo, A.; Golini, M.; Catellani, M.; De Momi, E.; Calimeri, F.; Fiameni, G.; Frosio, I.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Querying cultural heritage knowledge bases in natural language: Discussion paper | 1-gen-2019 | Cuteri, B.; Reale, K.; Ricca, F. | |
Querying Data Exchange Settings beyond Positive Queries | 1-gen-2022 | Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I. | |
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again | 1-gen-2017 | Amendola, G.; Leone, N.; Manna, M. | |
Querying large expressive horn ontologies | 1-gen-2019 | Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Random models of very hard 2QBF and disjunctive programs: An overview | 1-gen-2018 | Amendola, G.; Ricca, F.; Truszczynski, M. | |
Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study | 1-gen-2018 | Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G. | |
Reasoning about Smart Contracts via LTL Encoding | 1-gen-2022 | Fionda, V.; Greco, G.; Mastratisi, M. A. | |
A reputation mechanism to support cooperation of IoT devices | 1-gen-2019 | Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L. | |
Scheduling Periodic Treatments via Answer Set Programming | 1-gen-2023 | Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M. | |
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming | 1-gen-2021 | Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I. | |
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation | 1-gen-2018 | Bruno, P.; Zaffino, P.; Scaramuzzino, S.; De Rosa, S.; Indolfi, C.; Calimeri, F.; Spadea, M. F. | |
A Sequence to Sequence Approach for Knowledge Base Relation Linking | 1-gen-2021 | Barbara, Vito; Manuel, Borroto; Ricca, Francesco | |
Simple user assistance by data posting | 1-gen-2019 | Masciari, E.; Sacca, D.; Trubitsyna, I. | |
A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions | 1-gen-2020 | Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D. | |
Smart applications for smart city: A contribution to innovation | 1-gen-2014 | Citrigno, S.; Graziano, S.; Lupia, F.; Sacca, D. | |
Smart Data Exchange | 1-gen-2020 | Greco, S.; Ianni, M.; Masciari, E.; Sacca, D.; Trubitsyna, I. | |
Some experiments on activity outlier detection | 1-gen-2021 | Ianni, M.; Masciari, E. | |
A speech about generative datalog and non-measurable sets | 1-gen-2021 | Alviano, M.; Zamayla, A. | |
Stable Semantics for Epistemic Abstract Argumentation Framework | 1-gen-2023 | Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I. | |
Standard vs. Learning-based Codecs for Real Time Endoscopic Video Transmission | 1-gen-2021 | Marzullo, A.; Golini, M.; Catellani, M.; De Momi, E.; Calimeri, F.; Fiameni, G.; Frosio, I. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile